H ? « ‹ ← → › »

Language peer sets for SASL (2nd version):
United Kingdom↑
United Kingdom/1972↑
Designed 1972 ↑
1970s languages ↑
Third generation↑
High Cold War↑
Genus Polymorphic ↑
Polymorphic↑
Dataflow↑
State/flow ↑
Polymorphic/1972↑
Dataflow/1972↑
State/flow/1972↑
Polymorphic/United Kingdom↑
Dataflow/United Kingdom↑
State/flow/United Kingdom↑

SASL (2nd version)(ID:734/sas006)

Lazy evaluation SASL 

alternate simple view
Country: United Kingdom
Designed 1972
Genus: Polymorphic

for Saint Andrews Static Language

Turner, St Andrews, 1976.


Classic SASL - rewrite by Turner to be closer to Lambda calculus and have lazy semantics and be weakly typed

Designed for teaching functional programming, with very simple syntax.

Structures:
Related languages
SASL → SASL (2nd version)   Evolution of
SASL (2nd version) → FEL   Influence
SASL (2nd version) → HASL   Augmentation of
SASL (2nd version) → KRC   Evolution of
SASL (2nd version) → SASL+LV   Incorporated some features of
SASL (2nd version) → SASL-YACC   Written using
References:
  • Turner, D.A. (1979) Turner, D.A. "A New Implementation Technique for Applicative Languages" pp31-49
          in (1979) Soft Prac & Exp 8(9) 1979
  • Turner, D. A. (1981) Turner, D. A. "The semantic elegance of applicative languages"
          in [Proceedings] (1981) Proceedings of the 1981 conference on Functional programming languages and computer architecture 1981 , Portsmouth, New Hampshire, United States
  • Harland, David M. (1984) Harland, David M. "Polymorphic Programming Languages", Ellis Horwood 1984.
          in [Proceedings] (1981) Proceedings of the 1981 conference on Functional programming languages and computer architecture 1981 , Portsmouth, New Hampshire, United States
  • Nökel, Klaus; Rehbold, Robert; Richter, Michael M. (1987) Nökel, Klaus; Rehbold, Robert; Richter, Michael M. "Remarks on SASL and the Verification of Functional Programming Languages" pp265-276
          in (1987) Computation Theory and Logic 1987
  • Sarwar, S. M. (1993) Sarwar, S. M. "Run-time behavior of SASL programs: a performance study."
          in (1993) Computer Languages 18(3)
  • Grust, Torsten (1997) Grust, Torsten "The construction of a SASL Compiler" Web page, accessed 2005, Department of Mathematics and Computer Science University of Konstanz, Germany Online copy
          in (1993) Computer Languages 18(3)
  • Wolfgang Kreutzer, Paddy Krishnan and Bruce J. McK (1997) Wolfgang Kreutzer, Paddy Krishnan and Bruce J. McKenzie "A Brief History of Functional Programming" Abstract
          in (1997) "Functional Programming with HUGS: An Introduction to Computer Science using a Functional Programming Language" University of Canterbury, New Zealand January 1997
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder